Ideal and Real Belief about Belief

universitt a di genova facoltt a di ingegneria dipartimento informatica sistemistica telematica Ideal and real belief about belief Abstract The goal of this paper is to provide a formalization of monotonic belief and belief about belief in a multiagent environment. We distinguish between ideal beliefs, i.e., those beliefs which satisfy certain \idealized" properties which are unlikely to be possessed by real agents, and real beliefs. Our formalization is based on a set-theoretic speciication of beliefs and, then, on the deenition of the appropriate constructors which present the sets identiied. This allows us to provide a uniform and taxonomic characterization of the possible ways in which ideal and real beliefs can arise. We provide intuitions about the conceptual importance of the cases analyzed by proving and discussing some equivalence results with some important modal systems modeling various forms of (non) logical omniscience.